From chemicals to energy, artificial intelligence (AI) is already showing just how far it can help achieve global sustainability targets across different industrial sectors. One example is Petroliam Nasional Berhad (PETRONAS), has committed to achieving net-zero carbon emissions by 2050. For the Malaysian oil and gas multinational, plant reliability is key to achieving its sustainability goals. PETRONAS identified that early insight into impending equipment failure would enable plant operators to fix equipment proactively before small issues become bigger problems. Proof of concept came via a pilot project in their corporate cloud on Microsoft Azure at four upstream and two downstream units.

OXFORD 1994 Oxford University Press, Walton Street, Oxford 0X2 6DP Oxford New York Athens Auckland Bangkok Bombay Calcutta Cape Town Dar es Salaam Delhi Florence Hong Kong Istanbul Karachi Kuala Lumpur Madras Madrid Melbourne Mexico City Nairobi Paris Singapore Taipei Tokyo Toronto and associated companies in Berlin lbadan Published in the United States by Oxford University Press Inc., New York 0 E. K. Furukawa, D. Michie, and S. Muggleton, 1994 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without the prior permission in writing of Oxford University Press. Enquiries concerning reproduction outside those terms and in other countries should be sent to the Rights Department, Oxford University Press, at the address above. This book is sold subject to the condition that it shall not, by way of trade or otherwise, be lent, re-sold, hired out, or otherwise circulated without the publisher's prior consent in any form of binding or cover other than that in which it is published and without a similar condition including this condition being imposed on the subsequent purchaser. The founder of modern computational logic, J.A. Robinson, opens this volume with a chapter on the field's great forefathers John von Neumann and Alan Turing.